<?php

class BadFormatException extends Exception {
    
}

?>
